how to convert a raster into a shapefile using python